Tweak previous change.
authorGlenn Morris <rgm@gnu.org>
Fri, 18 May 2007 07:42:47 +0000 (07:42 +0000)
committerGlenn Morris <rgm@gnu.org>
Fri, 18 May 2007 07:42:47 +0000 (07:42 +0000)
commit66499c557ea4925f778ae730ff572112dae0c010
treeda28b680db9337145ec6c2a09fcf1202a29e3d45
parent79b740ce035c5cb3ac6833b0b6ea3443bba6c6c6
Tweak previous change.
etc/PROBLEMS